Semistrict models of connected 3-types and Tamsamani’s weak 3-groupoids
نویسنده
چکیده
Homotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, in the path connected case, by cat-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using Tamsamani’s model. Both are then related to Gray groupoids.
منابع مشابه
Semistrict Tamsamani N-groupoids and Connected N-types
Tamsamani’s weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tamsamani’s weak n-groupoids and catn−1-groups as models of connected n-types.
متن کاملWeak units and homotopy 3 - types
We show that every braided monoidal category arises as End(I) for a weak unit I in an otherwise completely strict monoidal 2-category. This implies a version of Simpson’s weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The pro...
متن کاملWeak units and homotopy 3 - types For
We show that every braided monoidal category arises as End(I) for a weak unit I in an otherwise completely strict monoidal 2-category. This implies a version of Simpson’s weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The pro...
متن کاملSUR LES TYPES D'HOMOTOPIE MODÉLISÉS PAR LES ∞-GROUPOÏDES STRICTS À la mémoire de Jean-Louis Loday
Résumé. L'objet de ce texte est l'étude de la classe des types d'homotopie qui sont modélisés par les ∞-groupoïdes stricts. Nous démontrons que la catégorie homotopique des ∞-groupoïdes stricts simplement connexes est équivalente à la catégorie dérivée en degré homologique d ≥ 2 des groupes abéliens. Nous en déduisons que les types d'homotopie simplement connexes modélisés par les ∞-groupoïdes ...
متن کاملSets in homotopy type theory
Homotopy Type Theory may be seen as an internal language for the ∞category of weak ∞-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak ∞-groupoids as a new foundation for mathematics called the Univalent Foundations of Mathematics. It includes the sets as weak ∞-groupoids with contractible connected components, and thereby it includes (much of)...
متن کامل